Twin polaritons in semiconductor microcavities

The quantum correlations between the beams generated by polariton pair scattering in a semiconductor microcavity above the parametric oscillation threshold are computed analytically. The influence of various parameters like the cavity-exciton detuning, the intensity mismatch between the signal and idler beams and the amount of spurious noise is analyzed. We show that very strong quantum correlations between the signal and idler polaritons can be achieved. The quantum effects on the outgoing light fields are strongly reduced due to the large mismatch in the coupling of the signal and idler polaritons to the external photons

A mid-infrared survey of the inner 2 × 1.5 degrees of the Galaxy with Spitzer/IRAC

We present a survey of Spitzer Space Telescope/IRAC observations of the central 2 × 1.5 degrees (265 × 200 pc) of the Galaxy at 3-8 μm. These data represent the highest spatial resolution and sensitivity large-scale map made to date of the Galactic Center (GC) at mid-infrared wavelengths. The IRAC data provide a census of the optically obscured stellar sources as well as a detailed map of the highly filamentary structure in the interstellar medium. The diffuse emission is dominated by PAH emission from small grains in star-forming regions. Dark clouds displaying a large variety of sizes and morphologies are imaged, many of which remain opaque at IRAC wavelengths. Using a multiwavelength comparison, we determine which objects are likely to be in the foreground and which are located at the GC. We find no counterparts at IRAC wavelengths to the unique system of linear, nonthermal radio filaments present at the GC

Metals and Oxygen Mining from Meteorites, Asteroids and Planets using Reusable Ionic Liquids

In order for humans to explore beyond Low Earth Orbit both safely and economically, it will be essential to learn how to make use of in situ materials and energy in an environment much different than on earth. Precursor robotic missions will be necessary to determine what resources will be available and to demonstrate the capabilities for their use. To that end, we have recently been studying acidic Ionic Liquid (IL) systems for use in a low temperature (< 200 C) process to solubilize regolith, and to extract, as water, the oxygen available in metal oxides. Using this method, we have solubilized lunar regolith simulant (JSC-1A), as well as extraterrestrial materials in the form of meteorites, and have extracted up to 80% of the available oxygen. Moreover, by using a hydrogen gas electrode, we have shown that the IL can be regenerated at the anode and metals (e.g. iron) can be plated onto the cathode. These results indicate that IL processing is an excellent candidate for extracting oxygen in situ, for life support and propulsion, and for extracting metals to be used as feedstock in fabrication processes. We have obtained small amounts of meteorite materials believed by meteoriticists to have originated from our moon, Mars, and the asteroid Vesta, and were able to solubilize those using acidic IL systems. From the Vesta meteorite, we were able to extract about 60% of the available oxygen as water. As far as is known, this is the first time that extraterrestrial/earth hybrid water has been obtained. NMR analysis provided proof that the liquid retrieved is indeed water. We have also been able to electro-plate nickel and iron contained in meteorite material. By varying voltage they can be plated separately (electro-winning), and we plan to soon have sufficient quantities to form usable parts utilizing the additive manufacturing process

Task-Specific Ionic Liquids for Mars Exploration (Green Chemistry for a Red Planet)

Ionic Liquids (ILs) are organic salts with low melting points that are liquid at or near room temperature. The combinations of available ions and task-specific molecular designability make them suitable for a huge variety of tasks. Because of their low flammability, low vapor pressure, and stability in harsh environments (extreme temperatures, hard vacuum) they are generally much safer and "greener" than conventional chemicals and are thus suitable for a wide range of applications that support NASA exploration goals. This presentation describes several of the ongoing applications that are being developed at MSFC

The Effects of Postfire Salvage Logging on Aquatic Ecosystems in the American West

Recent changes in the forest policies, regulations, and laws affecting public lands encourage postfire salvage logging, an activity that all too often delays or prevents recovery. In contrast, the 10 recommendations proposed here can improve the condition of watersheds and aquatic ecosystems

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems. This approach was based on constraint set resolution and was not able to deal with precise properties for communications of behaviors. We present here a new approach, control-flow oriented, based on the abstract interpretation framework, able to deal with communication of behaviors. Within our new analyses, we are able to verify most of the previous properties we observed as well as new ones, principally based on occurrence counting

A second order cone formulation of continuous CTA model

The final publication is available at link.springer.comIn this paper we consider a minimum distance Controlled Tabular Adjustment (CTA) model for statistical disclosure limitation (control) of tabular data. The goal of the CTA model is to find the closest safe table to some original tabular data set that contains sensitive information. The measure of closeness is usually measured using l1 or l2 norm; with each measure having its advantages and disadvantages. Recently, in [4] a regularization of the l1 -CTA using Pseudo-Huber func- tion was introduced in an attempt to combine positive characteristics of both l1 -CTA and l2 -CTA. All three models can be solved using appro- priate versions of Interior-Point Methods (IPM). It is known that IPM in general works better on well structured problems such as conic op- timization problems, thus, reformulation of these CTA models as conic optimization problem may be advantageous. We present reformulation of Pseudo-Huber-CTA, and l1 -CTA as Second-Order Cone (SOC) op- timization problems and test the validity of the approach on the small example of two-dimensional tabular data set.Peer ReviewedPostprint (author's final draft

Interval Slopes as Numerical Abstract Domain for Floating-Point Variables

The design of embedded control systems is mainly done with model-based tools such as Matlab/Simulink. Numerical simulation is the central technique of development and verification of such tools. Floating-point arithmetic, that is well-known to only provide approximated results, is omnipresent in this activity. In order to validate the behaviors of numerical simulations using abstract interpretation-based static analysis, we present, theoretically and with experiments, a new partially relational abstract domain dedicated to floating-point variables. It comes from interval expansion of non-linear functions using slopes and it is able to mimic all the behaviors of the floating-point arithmetic. Hence it is adapted to prove the absence of run-time errors or to analyze the numerical precision of embedded control systems

Field performance of cavitation erosion resistant alloy on pumped-storage hydroturbine

The TVA Raccoon Mountain Plant is a four unit pumped-storage plant located on the Tennessee River, Nickajack Reservoir, in Marion County, Tennessee, six miles (3.7 km) west of Chattanooga, Tennessee. The four units went into commercial operation between January 31, 1978 and August 31, 19179. Each unit has a generating rating of 392 MW at a 1020 ft head (310.9 meters). Each turbine is a reversible Francis type, with vertical shaft, manufactured by Allis-Chalmers (now Voith Hydro, Inc.). The runner diameter is 16 ft 7 inches (5.05 meters). the runner material is ASTM A296-CA6NM

Exponential martingales and changes of measure for counting processes

We give sufficient criteria for the Dol\'eans-Dade exponential of a stochastic integral with respect to a counting process local martingale to be a true martingale. The criteria are adapted particularly to the case of counting processes and are sufficiently weak to be useful and verifiable, as we illustrate by several examples. In particular, the criteria allow for the construction of for example nonexplosive Hawkes processes as well as counting processes with stochastic intensities depending on diffusion processes